大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Foundations of Computer Science (28th : 1987) 的图书(共7863本)

Human-Computer Interaction [electronic resource] : Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号:
作者:Forbrig、 Peter.、Patern贸、 Fabio.、Mark Pejtersen、 Annelise.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model-Based Reasoning in Science and Technology [electronic resource] : Abduction, Logic, and Computational Discovery

0
索取号:
作者:Magnani、 Lorenzo.、Carnielli、 Walter.、Pizzi、 Claudio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Cultural Computing [electronic resource] : Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号:
作者:Nakatsu、 Ryohei.、Tosa、 Naoko.、Naghdy、 Fazel.、Wong、 Kok Wai.、Codognet、 Philippe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Distributed Computing IV [electronic resource] : Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010

0
索取号:
作者:Essaaidi、 Mohammad.、Malgeri、 Michele.、Badica、 Costin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

0
索取号:
作者:Dawar、 Anuj.、Veith、 Helmut.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic and the Foundations of Game and Decision Theory-LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

0
索取号:
作者:Bonanno、 Giacomo.、L枚we、 Benedikt.、Hoek、 Wiebe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings

0
索取号:
作者:Hlin臎n媒、 Petr.、Ku膷era、 Anton铆n.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Bioinformatics and Computational Biology [electronic resource] : 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010. Proceedings

0
索取号:
作者:Ferreira、 Carlos E.、Miyano、 Satoru.、Stadler、 Peter F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Progress in Ultrafast Intense Laser Science VI [electronic resource]

0
索取号:
作者:Yamanouchi、 Kaoru.、Gerber、 Gustav.、Bandrauk、 Andre D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009

0
索取号:
作者:Zseby、 Tanja.、Savola、 Reijo.、Pistore、 Marco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Distributed Computing and Artificial Intelligence [electronic resource] : 7th International Symposium

0
索取号:
作者:Leon F. de Carvalho、 Andre Ponce.、Rodr铆guez-Gonz谩lez、 Sara.、Paz Santana、 Juan F.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers

0
索取号:
作者:Hsu、 Ching-Hsien.、Malyshkin、 Victor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Dynamics, Games and Science II [electronic resource] : DYNA 2008, in Honor of Maur铆cio Peixoto and David Rand, University of Minho, Braga, Portugal, September 8-12, 2008

0
索取号:
作者:Peixoto、 Mauricio Matos.、Pinto、 Alberto Adrego.、Rand、 David A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Robotics Research [electronic resource] : The 13th International Symposium ISRR

0
索取号:
作者:Kaneko、 Makoto.、Nakamura、 Yoshihiko.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Network Security [electronic resource] : 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings

0
索取号:
作者:Kotenko、 Igor.、Skormin、 Victor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Proceedings of the 37th International Symposium on Archaeometry, 13th - 16th May 2008, Siena, Italy [electronic resource] : Proceedings of the 37th International Symposium on Archaeometry, 13th - 16th May 2008, Siena, Italy

0
索取号:
作者:Turbanti-Memmi、 Isabella.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.